Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое automatic recovery program - определение
TASK TO CONSTRUCT A PROGRAM THAT PROVABLY SATISFIES A GIVEN HIGH-LEVEL FORMAL SPECIFICATION
Automatic program synthesis; Code Synthesis
Recovery (metallurgy)
PROCESS IN METALLURGY
Recovery (material)
Recovery is a process by which deformed grains can reduce their stored energy by the removal or rearrangement of defects in their crystal structure. These defects, primarily dislocations, are introduced by plastic deformation of the material and act to increase the yield strength of a material.
Archival Recovery Program
Archival Recovery Team
The Archival Recovery Team of the National Archives and Records Administration (NARA) investigates documents and other items that have been lost or stolen from NARA, utilizing news, auction houses and websites, collector shows, and tips. Operating as part of NARA's Office of the Inspector General, they have had some notable successes in recovering items like presidential pardons from Ulysses S.
Recovery model
APPROACH TO MENTAL DISORDER OR SUBSTANCE DEPENDENCE THAT EMPHASIZES AND SUPPORTS A PERSON'S POTENTIAL FOR RECOVERY
Psychosocial recovery; Recovery Model and Mental Illness; Recovery Model in Mental illness; Recovery (mental health); Addiction recovery; Recovery approach
The recovery model, recovery approach or psychological recovery is an approach to mental disorder or substance dependence that emphasizes and supports a person's potential for recovery. Recovery is generally seen in this model as a personal journey rather than a set outcome, and one that may involve developing hope, a secure base and sense of self, supportive relationships, empowerment, social inclusion, coping skills, and meaning.
Википедия
Program synthesis
In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program verification, the program is to be constructed rather than given; however, both fields make use of formal proof techniques, and both comprise approaches of different degrees of automatization. In contrast to automatic programming techniques, specifications in program synthesis are usually non-algorithmic statements in an appropriate logical calculus.
